21. Algebraic Informatics
پدیدآورنده : \ Andreas Maletti (Ed.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Software engineering.,Programming languages (Electronic computers) -- Semantics -- Congresses.,Algebra -- Data processing -- Congresses.,م‍ه‍ن‍دس‍ی ن‍رم اف‍زار ,زبانهای برنامه‌نویسی کامپیوتر -- معنی شناسی -- کنگره ها ,جبر -- داده‌پردازی -- کنگره ها
رده :
QA
76
.
76
.
A55
2015
E-Book
,
22. Algebraic informatics :
پدیدآورنده : Miroslav Ćirić, Manfred Droste, Jean-Éric Pin (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Algebra-- Data processing, Congresses.,Programming languages (Electronic computers)-- Semantics, Congresses.,Algebra-- Data processing.,Programming languages (Electronic computers)-- Semantics.
رده :
QA76
.
7
23. Algebraic informatics :
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Programming languages (Electronic computers) ; Semantics ; Congresses. ;
24. Algorithmic languages and calculi: IFIP TC2 WG2.1 International Workshop on Algorithmic Languages and Calculi, 17-22 Feb. 1997, Alsace, France
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : ، Computer programming-- Congresses,، Programming languages )Electronic computers(-- Congresses,، Computer algorithms-- Congresses
رده :
QA
76
.
6
.
I1775
1997
25. Algorithms and complexity ; new directions and recet results
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه الزهراء (س) (تهران)
موضوع : ، Electronic digital computers- programming- congresses,، Computational complexity - Congresses,، Mathematics - Data processing - Congresses
رده :
QA
76
.
6
.
S9195
1976
26. Algorithms and complexity : recent results and new directions : )proceedings of a Symposium on New Directions and Recent Results in Algorithms and Complexity held by the Computer Science Department, Carnegie-Mellon University, April 7-9, 1976(
پدیدآورنده : edited by J. F. Traub
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : Congresses ، Electronic digital computers - Programming,Congresses ، Computational complexity,Congresses ، Mathematics - Data processing
رده :
QA
76
.
6
.
S919
1976
27. Algorithms in modern mathematics and computer science : proceedings, Urgench, Uzbek SSR, September 16-22, 1979
پدیدآورنده : edited by A.P. Ershov and D.E. Knuth
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : Congresses ، Computer algorithms,Congresses ، Programming )Electronic computers(
رده :
QA
76
.
L4
v
.
122
28. Algorithms in modern mathematics and computer science : proceedings, Urgench, Uzbek SSR, September 16-22, 1979
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : ، Computer algorithms-- Congresses,، Programming )Electronic computers(-- Congresses
رده :
QA
9
.
58
.
A43
1981
29. Analysis and verification of multiple-agent languages : 5th LOMAPS Workshop, Stockholm, Sweden, June 24-26, 1996 : selected papers
پدیدآورنده : Mads Dam )ed.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Programming languages )Electronic computers(
رده :
QA
76
.
L28
Vol
.
1192
30. Applied Parallel and Scientific Computing
پدیدآورنده :
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Parallel programming (Computer science) -- Congresses,Parallel processing (Electronic computers) -- Congresses,برنامه‌نویسی موازی -- کنگره‌ها,پردازش موازی -- کنگره‌ها
رده :
E-Book
,
31. Applied parallel and scientific computing :
پدیدآورنده : Kristján Jónasson (ed.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Parallel processing (Electronic computers) -- Congresses.,Parallel programming (Computer science) -- Congresses.,Programmation parallèle (Informatique) -- Congrès.
32. Applied semantics : International Summer School, APPSEM 2000, Caminha, Portugal, September, 9-15, 2000 : advanced lectures
پدیدآورنده : Gilles Barthe...]et al.[ )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Programming languages )Electronic computers( -- Semantics
رده :
QA
76
.
L28
Vol
.
2395
33. Attribute grammars and their applications : International Conference WAGA, Paris, France, September 19-21, 1990 : Proceedings
پدیدآورنده : P. Deransart, M. Jourdan )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Syntax -- Congresses ، Programming languages )Electronic computers(
رده :
QA
76
.
L28
Vol
.
461
34. Attribute grammars and their applications : international conference WAGA, Paris, France, September 19-21, 1990 : proceedings
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : ، Programming languages )Electronic computers(-- Syntax-- Congresses
رده :
QA
76
.
7
.
A78
1990
35. Attribute grammars, applications and systems : international summer school SAGA, Prague, Czechoslovakia, June 4-13, 1991 : proceedings
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : ، Programming languages )Electronic computers(-- Semantics-- Congresses,، Programming languages )Electronic computers(-- Syntax-- Congresses
رده :
QA
76
.
7
.
A783
1991
36. Attribute grammars. applications and systems : international summer school SAGA, Prague, Czechoslovakia, June 4-13, 1991 : proceedings
پدیدآورنده : H. Alblas, B. Melichar, )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Programming languages )Electronic computers( -- Semantics,Syntax -- Congresses ، Programming languages )Electronic computers(
رده :
QA
76
.
L28
Vol
.
545
37. Automata, Languages and programming : 11th collequium antwerp, Belgium, July 16-20, 1984
پدیدآورنده : / Edited by Jan Paredaens
کتابخانه: کتابخانه مرکزی و مرکز اسناد و انتشارات دانشگاه تبریز (آذربایجان شرقی)
موضوع : Machinetheory - Congresses,Programming languages (Electronic computers) - Congresses,Programming (Electronic computers) - Congresses
رده :
QA267
.
A9215
38. Automata, Languages and programming, 16th international colloquium, Stressa, Italy, July 1989 proceedings
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : Congresses ، Machine theory,Congresses ، Formal languages,Congresses ، Programming )Electronic computers(
رده :
QA
267
.
A9228
1989
39. Automata, Languages, and programming: 19th international colloquium, Wien, Austria, July 13-17, 1992: proceedings
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : ، Machine thoery-- Congresses,، Formal languages-- Congresses,، Programming )Electronic computers(-- Congresses
رده :
QA
267
.
A87
1992
40. Automata, language and programming; seventh Colloquium Noordwijkerhout, The Netherlands July 14-18, 1980
پدیدآورنده : edited by J. W. de Bakker and J. van Leeuwen
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : Congresses ، Machine theory,Congresses ، Formal languages,Congresses ، Programming )Electronic computers(
رده :
QA
76
.
L4
v
.
85
